The Evolution from LIMMAT to NANOSAT
نویسنده
چکیده
In this technical report we summarize the evolution of SAT solvers implemented at the formal methods group at ETH Zürich. We start with LIMMAT and COMPSAT, which both took part in the SAT’03 SAT solver competition. From the more ambitious design of FUNEX we reach the minimal implementation of NANOSAT. We close the discussion with an overview on how our QBF solver QUANTOR can be used as a preprocessor for SAT. We highlight differences to similar implementations, emphasizing new ideas. No detailed experimental comparison is provided, since the main purpose of this technical report is to give a reference point for the SAT’04 SAT solver competition.
منابع مشابه
Application for RSO Automated Proximity Analysis and IMAging (ARAPAIMA): Development of a Nanosat-based Space Situational Awareness Mission
ARAPAIMA is a proximity operations mission sponsored by the US Air Force Office of Scientific Research (AFOSR) and the Air Force Research Laboratory (AFRL), to perform the in-orbit demonstration of autonomous proximity operations for visible, infrared, and point cloud generation of resident space objects (RSOs) from a nanosat platform. The nanosat is of the 6U CubeSat class, with overall dimens...
متن کاملDiagenetic Evolution of Mudstones: Black Shales to Laminated Limestones, an Example from the Lower Jurassic of SW Britain
متن کامل
Increasing the Accuracy of Recommender Systems Using the Combination of K-Means and Differential Evolution Algorithms
Recommender systems are the systems that try to make recommendations to each user based on performance, personal tastes, user behaviors, and the context that match their personal preferences and help them in the decision-making process. One of the most important subjects regarding these systems is to increase the system accuracy which means how much the recommendations are close to the user int...
متن کاملThe effect of Health System Evolution Plan on the performance indices in public hospitals in Iran
Background and Objectives: The Health System Evolution Plan was developed to improve quality and accessibility of health care services and reduce the costs to protect people from catastrophic out of pocket payments. The aim of current study is investigatation of Health System Evolution Plan effects on performance indices of governmental hospitals affiliated to Iran University o...
متن کاملGearing the Discursive Practice to the Evolution of Discipline: Diachronic Corpus Analysis of Stance Markers in Research Articles’ Methodology Section
Despite widespread interest and research among applied linguists to explore metadiscourse use, very little is known of how metadiscourse resources have evolved over time in response to the historically developing practices of academic communities. Motivated by such an ambition, the current research drew on a corpus of 874315 words taken from three leading journals of applied linguistics in orde...
متن کامل